Choice principles in local mantles
نویسندگان
چکیده
Assume ZFC $\mathsf {ZFC}$ . Let κ be a cardinal. A < ${\mathord {<}\hspace{1.111pt}\kappa }$ -ground is transitive proper class W modelling such that V generic extension of via forcing P ∈ $\mathbb {P}\in W$ cardinality The κ-mantle M $\mathcal {M}_\kappa$ the intersection all -grounds. We prove certain partial choice principles in are consequence being inaccessible/weakly compact, and some other related facts.
منابع مشابه
choice principles and lift lemmas
we show that in {bf zf} set theory without choice, the ultrafilter mbox{principle} ({bf up}) is equivalent to several compactness theorems for alexandroff discrete spaces and to rudin's lemma, a basic tool in topology and the theory of quasi-continuous domains. important consequences of rudin's lemma are various lift lemmas, saying that certain properties of posets are inherited by th...
متن کاملPublic Choice Principles of Redistricting
This paper uses fundamental principles of public choice, mainly the median voter theorem, to develop a simple theory of redistricting. The focus is on how closely policy outcomes correspond to majority rule. The main results are: (1) Potential policy bias in favor of nonmajority groups is structurally linked to the number of legislative seats and the population, and the structure of most states...
متن کاملKinna-wagner Selection Principles, Axioms of Choice and Multiple Choice
We study the relationships between weakened forms of the Kinna-Wagner Selection Principle (KW), the Axiom of Choice (AC), and the Axiom of Multiple Choice (MC). Introduction. In this paper we study the relationships between weakened forms of the Kinna-Wagner Selection Principle (KW), the Axiom of Choice (AC), and the Axiom of Multiple Choice (MC). The forms of these statements that we shall use...
متن کاملInteractive local bandwidth choice
A tool for user choice of the local bandwidth function for a kernel density estimate is developed using KDE, a graphical object-oriented package for interactive kernel density estimation written in LISP-STAT. The bandwidth function is a cubic spline, whose knots are manipulated by the user in one window, while the resulting estimate appears in another window. A real data illustration of this me...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2022
ISSN: ['0942-5616', '1521-3870']
DOI: https://doi.org/10.1002/malq.202000089